Buy Used and New David Monniaux Books

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings: 10145 (Lecture Notes in Computer Science)

by Ahmed Bouajjani, David Monniaux

ISBN 13: 9783319522333

Format: Paperback (580 pages)
Publisher: Springer
Published: 12 Jan 2017

Save for later